Metric space

Metadata
aliases: []
shorthands: {}
created: 2021-12-03 00:49:48
modified: 2022-06-12 15:47:44

A metric space is a non empty set together with a metric on the set . Metric spaces are topological spaces.


Terminology

is usually called the underlying set of and its elements are called points. For fixed , we call the non-negative number the distance from to .